661. Verification and validation of complex systems :
Author: edited by John A. Wise, V. David Hopkin, Paul Stager.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
U83
E358
2011
662. Verification of infinite-state systems with applications to security /
Author: edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software-- Verification, Congresses.,System theory-- Mathematical models, Congresses.,System theory-- Security measures, Congresses.,Computer security.,Computer software-- Verification.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,System theory-- Mathematical models.
Classification :
Q295
.
N38
2005eb
663. Video Bioinformatics :
Author: edited by Bir Bhanu, Prue Talbot.
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Bioinformatics .,Computational biology .,Data mining.,Information storage and retrieval.,Optical data processing.,Computational Biology/Bioinformatics.,Bioinformatics.,Computer Appl. in Life Sciences.,Data Mining and Knowledge Discovery.,Image Processing and Computer Vision.,Information Storage and Retrieval.
Classification :
570
.
285
V652
2015
23
664. Virtual Environments '98 :
Author: edited by Martin Göbel, Jürgen Landauer, Ulrich Lang, Matthias Wapler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer simulation.,Software engineering.
Classification :
T385
.
E358
1998
665. Web Information Systems and Technologies :
Author: José Cordeiro, Joaquim Filipe (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development, Congresses.,Internet, Congresses.,World Wide Web, Congresses.,Artificial Intelligence (incl. Robotics),Business Information Systems.,Computer Appl. in Administrative Data Processing.,Computer Science.,e-Commerce/e-business.,Information Systems Applications (incl. Internet),Application software-- Development.,Informatique.,Internet.,World Wide Web.
Classification :
TK5105
.
875
.
I57
I58
2010
666. Website scraping with Python :
Author: Gábor László Hajba.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Downloading of data.,Python (Computer program language),COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Downloading of data.,Programming & scripting languages: general.,Python (Computer program language),Web programming.
Classification :
QA76
.
55
667. Work Activity Studies Within the Framework of Ergonomics, Psychology, and Economics.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Work design.,Self-Regulation Models.,Sensory-Perceptual Process.,SSAT.,Systemic-Structural Activity Theory.,Task Performance.,TECHNOLOGY & ENGINEERING-- Quality Control.,Time Study.,Work design.
668. Workflow Management Systems and Interoperability
Author: edited by Asuman Doğaç, Leonid Kalinichenko, M. Tamer Özsu, Amit Sheth.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
T58
.
6
E358
1998
669. Workstations for Experiments :
Author: edited by José L. Encarnação, Georges G. Grinstein.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Software engineering.
Classification :
Q180
.
55
.
E4
E358
1991
671. analysis and design of information
Author: Rajaraman, V.
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: ، Computer software--Development.,، System analysis.
Classification :
QA
76
.
76
.
R3
672. ]cigre papers[
Author: Conference International des grands reseaux electriques )cigre(
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Electric power systems-addresses, essays, lectures
Classification :
Cigre
papers
673. 0203931254 (ebook)
Author: edited by Nancy Snow, Philip M. Taylor.
Library: Library of Islamic Parliament (Tehran)
Subject:
675. fundamentals of design and manufacturing technology I
Author: / edited by Hun Guo, Zuo Dunwen, Tang Guoxing
Library: (South Khorasan)
Subject: Engineering design--Data processing,Manufacturing processes--Data processing,Computer integrated manufacturing systems,Manufacturing processes--Automation,CAD/CAM systems
Classification :
TA174
.
A385
2011
677. iOS forensic analysis for iPhone, iPad and iPod touch
Author: Sean Morrissey
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development,iPad (Computer)-- Programming,iPhone (Smartphone)-- Programming,iPod touch (Digital music player)-- Programming,Mobile computing
Classification :
HV8079
.
C65
M67
2010eb
678. pt. I. Perspective : legislative role of the judge and human rights law. Legislative role of the judge : a vital force in the life of the law ; Relationship between human rights and international law : principle of human dignity versus principle of state sovereignty -- pt. II. The development of human rights law by the International Court of Justice : contentious cases. Corfu Channel case (United Kingdom v Albania) (1947-1949) ; South West Africa cases (Ethiopia v South Africa ; Liberia v South Africa) : violation of human rights law led to formation of human rights law (1960-1966) ; Barcelona Traction, Light and Power Company, Limited (new application : 1962) case (Belgium v Spain) (1962-70) ; United States diplomatic and consular staff in Tehran case (USA v Iran) (1979-1981) ; Military and paramilitary activities in and against Nicaragua case (Nicaragua v USA) (1984-1991) ; East Timor case (Portugal v Australia) (1991-1994): human rights versus state sovereignty (1991-1994) ; Application of the Convention on the Prevention and Punishment of the Crime of Genocide case (Bosnia and Herzegovia v Serbia Montenegro) (1993- ) : prohibition of genocide as jus cogens ; Legality of use of force cases (Yugoslavia v Belgium; Yugoslavia v Canada; Yugoslavia v France ; Yugoslavia v Germant ; Yugoslavia v Italy ; Yugoslavia v Netherlands ; Yugoslavia v Portugal ; Yugoslavia v Spain ; Yugoslavia v UK ; Yugoslavia v USA) (1999- ) ; Arrest warrant of 11 April 2000 (Democratic Republic of the Congo v Belgium) : an analysis of human dignity of the people, for the people, by the people (2000-2002) ; Vienna Convention on Consular Relations cases (1998-2004) : the Convention does create individual rights -- pt. III. The development of human rights law by the International Court of Justice : advisory cases. International status of South West Africa case (1949-1950) : the principle of sacred trust of civilization ; Reservations to the Convention on the Prevention and Punishment of the Crime of Genocide case (1950-1951) ; Legal consequences for states of the continued presence of
Author: Shiv R.S. Bedi.
Library: Library of Islamic Parliament (Tehran)
Subject:
680. xiv, 237 p. :
Author: Chris Johnson & Jolyon Leslie.
Library: Library of Islamic Parliament (Tehran)
Subject:
